$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$, $y$:\{$i$$\ldots\,$$j$\}. ($i$ $\leq$ $y$) $\wedge$ ($y$ $\leq$ $j$)